Dirk Pattinson: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Modular Synthesis of Verified Verifiers of Computation with STV Algorithms

Ketab Ghale, Milad, Pattinson, Dirk, Norrish, Michael

Year:

2019

Language:

english

File:

PDF, 202 KB

english, 2019

2

Notes on Coalgebras, Cofibrations and Concurrency

Alexander Kurz, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

File:

PDF, 1.74 MB

2000

3

Editorial: Math. Log. Quart. 1/2008

Special issue editor Josef Berger, Special issue editor Dirk Pattinson, Special issue editor Peter Schuster, Special issue editor Júlia Zappe

Journal:

Mathematical Logic Quarterly

Year:

2008

Language:

english

File:

PDF, 19 KB

english, 2008

4

Algebraic Semantics for Coalgebraic Logics

Clemens Kupke, Alexander Kurz, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 380 KB

english, 2004

5

Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields

Abbas Edalat, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 315 KB

english, 2006

6

CoLoSS: The Coalgebraic Logic Satisfiability Solver

Georgel Calin, Rob Myers, Dirk Pattinson, Lutz Schröder

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 307 KB

english, 2009

7

Continuous Functions on Final Coalgebras

Neil Ghani, Peter Hancock, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 324 KB

english, 2006

8

Continuous Functions on Final Coalgebras

Neil Ghani, Peter Hancock, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 313 KB

english, 2009

9

Hybrid logic with the difference modality for generalisations of graphs

Robert S.R. Myers, Dirk Pattinson

Journal:

Journal of Applied Logic

Year:

2010

Language:

english

File:

PDF, 311 KB

english, 2010

10

A coordination approach to mobile components

Dirk Pattinson, Martin Wirsing

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 321 KB

english, 2005

11

Modular construction of complete coalgebraic logics

Corina Cǐrstea, Dirk Pattinson

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 540 KB

english, 2007

12

Coalgebraic modal logic: soundness, completeness and decidability of local consequence

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 275 KB

english, 2003

13

Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic

Alexander Kurz, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 307 KB

english, 2002

14

Modal Logic for Rewriting Theories

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 203 KB

english, 2000

15

Admissibility of Cut in Coalgebraic Logics

Dirk Pattinson, Lutz Schröder

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 383 KB

english, 2008

16

Computable Functions on Final Coalgebras

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 179 KB

english, 2003

17

Modal Languages for Coalgebras in a Topological Setting

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 184 KB

english, 2001

18

Towards Effects in Mathematical Operational Semantics

Faris Abou-Saleh, Dirk Pattinson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 350 KB

english, 2011

19

Cut elimination in coalgebraic logics

Dirk Pattinson, Lutz Schröder

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 457 KB

english, 2010

20

Denotational semantics of hybrid automata

Abbas Edalat, Dirk Pattinson

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 321 KB

english, 2007

21

Coalgebraic semantics of modal logics: An overview

Clemens Kupke, Dirk Pattinson

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 423 KB

english, 2011

22

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 2755 || AGILE: Software Architecture for Mobility

Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf

Year:

2003

Language:

english

File:

PDF, 529 KB

english, 2003

23

A computational model for multi-variable differential calculus

Edalat, Abbas, Lieutier, André, Pattinson, Dirk

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 386 KB

english, 2013

24

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - The Logic of Exact Covers: Completeness and Uniform Interpolation

Pattinson, Dirk

Year:

2013

Language:

english

File:

PDF, 373 KB

english, 2013

25

Coalgebraic modal logic of finite rank

KURZ, ALEXANDER, PATTINSON, DIRK

Journal:

Mathematical Structures in Computer Science

Year:

2005

Language:

english

File:

PDF, 362 KB

english, 2005

26

Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra

SCHRÖDER, LUTZ, PATTINSON, DIRK

Journal:

Mathematical Structures in Computer Science

Year:

2011

Language:

english

File:

PDF, 595 KB

english, 2011

27

From the Editors

Pattinson, Dirk, Schröder, Lutz

Journal:

Journal of Computer and System Sciences

Year:

2015

Language:

english

File:

PDF, 128 KB

english, 2015

28

PSPACE bounds for rank-1 modal logics

Schröder, LUTZ, Pattinson, Dirk

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 273 KB

english, 2009

29

A Van Benthem/Rosen theorem for coalgebraic predicate logic

Schröder, Lutz, Pattinson, Dirk, Litak, Tadeusz

Journal:

Journal of Logic and Computation

Year:

2015

Language:

english

File:

PDF, 274 KB

english, 2015

30

Sound and Complete Equational Reasoning over Comodels

Pattinson, Dirk, Schröder, Lutz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 267 KB

english, 2015

31

A Domain-Theoretic Account of Picard's Theorem

Edalat, Abbas, Pattinson, Dirk

Journal:

LMS Journal of Computation and Mathematics

Year:

2007

Language:

english

File:

PDF, 340 KB

english, 2007

32

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Program Equivalence is Coinductive

Pattinson, Dirk, Schröder, Lutz

Year:

2016

Language:

english

File:

PDF, 321 KB

english, 2016

33

Preface for the special issue of Proof, Structure, and Computation 2014

Pattinson, Dirk, Schuster, Peter, Sokolova, Ana

Journal:

Journal of Logic and Computation

Year:

2016

Language:

english

File:

PDF, 56 KB

english, 2016

34

Expressive Logics for Coalgebras via Terminal Sequence Induction

Pattinson, Dirk

Journal:

Notre Dame Journal of Formal Logic

Year:

2004

Language:

english

File:

PDF, 204 KB

english, 2004

35

[ACM Press the Australasian Computer Science Week Multiconference - Geelong, Australia (2017.01.31-2017.02.03)] Proceedings of the Australasian Computer Science Week Multiconference on - ACSW '17 - Formally verified invariants of vote counting schemes

Verity, Florrie, Pattinson, Dirk

Year:

2017

Language:

english

File:

PDF, 304 KB

english, 2017

36

A New Foundation for Finitary Corecursion and Iterative Algebras

Milius, Stefan, Pattinson, Dirk, Wißmann, Thorsten

Journal:

Information and Computation

Year:

2019

Language:

english

File:

PDF, 638 KB

english, 2019

37

A New Foundation for Finitary Corecursion and Iterative Algebras

Milius, Stefan, Pattinson, Dirk, Wißmann, Thorsten

Journal:

Information and Computation

Year:

2019

File:

PDF, 638 KB

2019

38

[IEEE 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Modular Synthesis of Verified Verifiers of Computation with STV Algorithms

Ketab Ghale, Milad, Pattinson, Dirk, Norrish, Michael

Year:

2019

File:

PDF, 202 KB

2019

39

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - A van Benthem Theorem for Fuzzy Modal Logic

Wild, Paul, Schröder, Lutz, Pattinson, Dirk, König, Barbara

Year:

2018

Language:

english

File:

PDF, 678 KB

english, 2018

40

Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems

Edalat, Abbas, Farjudian, Amin, Mohammadian, Mina, Pattinson, Dirk

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2020

File:

PDF, 267 KB

2020

41

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 2755 || Monad-Independent Dynamic Logic in HasCasl

Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf

Year:

2003

File:

PDF, 217 KB

2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски